Specifying safety-critical systems with a decidable duration logic
نویسندگان
چکیده
منابع مشابه
Specifying Safety-Critical Systems with a Decidable Interval Temporal Logic
Punctual timing constraints are important in formal modeling of safety-criticalreal-time systems. But they are very expensive to express in dense time. Inmost cases, punctuality and dense-time lead to undecidability. E↵orts havebeen successful to obtain decidability; but the results are either non-primitiverecursive or nonelementary. In this paper we propose an interval temporal...
متن کاملSafecharts for Specifying and Designing Safety Critical Systems
This paper proposes a novel variant of Statecharts, called Safecharts, especially for use in the speciication and the design of safety critical systems. The objective is to provide a sharper focus on safety issues and a systematic approach to deal with them. This is achieved by making a clear separation between functional and safety requirements. A novel feature of Safecharts is the safety anno...
متن کاملSafety Metric Temporal Logic Is Fully Decidable
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we consider a fragment of MTL, called Safety MTL, capable of expressing properties such as invariance and time-bounded response. Our main result is that the satisfiability problem for Safety MTL is decidable. This is the first positive decidability result for MTL over timed ω-words that d...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولSpecifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study
In this paper we introduce a formal approach for the speci cation of safety-critical embedded systems. The speci cation formalisms Z and statecharts are integrated under a suitable structural model. The combined approach uses the advantages of the formalisms while avoiding their disadvantages. The di erent formalisms yield di erent, compatible views on the system: the functional view describing...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.07.012